The SCEL Language: Design, Implementation, Verification
نویسندگان
چکیده
SCEL (Service Component Ensemble Language) is a new language specifically designed to rigorously model and program autonomic components and their interaction, while supporting formal reasoning on their behaviors. SCEL brings together various programming abstractions that allow one to directly represent aggregations, behaviors and knowledge according to specific policies. It also naturally supports programming interaction, self-awareness, context-awareness, and adaptation. The solid semantic grounds of the language is exploited for developing logics, tools and methodologies for formal reasoning on system behavior to establish qualitative and quantitative properties of both the individual components and the overall systems.
منابع مشابه
SCEL: a Language for Autonomic Computing
The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary softwareintensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working environment and to the evolving requirements. We propos...
متن کاملA Language-Based Approach to Autonomic Computing
SCEL is a new language specifically designed to model autonomic components and their interaction. It brings together various programming abstractions that permit to directly represent knowledge, behaviors and aggregations according to specific policies. It also supports naturally programming self-awareness, context-awareness, and adaptation. In this paper, we first present design principles, sy...
متن کاملA A formal approach to autonomic systems programming: The SCEL Language
The autonomic computing paradigm has been proposed to cope with size, complexity and dynamism of contemporary software-intensive systems. The challenge for language designers is to devise appropriate abstractions and linguistic primitives to deal with the large dimension of systems, and with their need to adapt to the changes of the working environment and to the evolving requirements. We propo...
متن کاملProgramming and Verifying Component Ensembles
A simplified version of the kernel language SCEL, that we call SCELight, is introduced as a formalism for programming and verifying properties of so-called cyber-physical systems consisting of softwareintensive ensembles of components, featuring complex intercommunications and interactions with humans and other systems. In order to validate the amenability of the language for verification purpo...
متن کاملSciellin mediates mesenchymal-to-epithelial transition in colorectal cancer hepatic metastasis
Hepatic metastasis is the major cause of mortality in colorectal cancer (CRC) patients. Using proteomic analysis, we found sciellin (SCEL) to be specifically expressed in hepatic metastatic CRC cell lines. SCEL knockdown increased CRC cell migration and invasion, while overexpression had the opposite effect. SCEL knockdown also caused cancer cells to form more invasive structures within 3D cult...
متن کامل